Computational limitations of affine automata and generalized affine automata
نویسندگان
چکیده
Abstract We present new results on the computational limitations of affine automata (AfAs). First, we show that using endmarker does not increase power AfAs. Second, computation bounded-error rational-valued AfAs can be simulated in logarithmic space. Third, identify some logspace unary languages are recognized by algebraic-valued Fourth, arbitrary real-valued transition matrices and state vectors unbounded-error model. When focusing only rational values, obtain same result also for bounded error. As a consequence, class remains when restricted to use numbers only.
منابع مشابه
On the Computational Power of Affine Automata
Abstract. We investigate the computational power of affine automata (AfAs) introduced in [4]. In particular, we present a simpler proof for how to change the cutpoint for any affine language and a method how to reduce error in bounded error case. Moreover, we address to the question of [4] by showing that any affine language can be recognized by an AfA with certain limitation on the entries of ...
متن کاملAffine counter automata
We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, ...
متن کاملCommutators of Bipermutive and Affine Cellular Automata
We discuss bipermutive cellular automata from a combinatorial and topological perspective. We prove a type of topological randomizing property for bipermutive CA, show that the commutator of a bipermutive CA is always small and that bipermutive affine CA have only affine CA in their commutator. We show the last result also in the multidimensional case, proving a conjecture of [Moore-Boykett, 97].
متن کاملLimit Measures for Affine Cellular Automata II
If M is a monoid, and A is an abelian group, then A is a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F : A −→ A that commutes with all shift maps. If F is diffusive, and μ is a harmonically mixing (HM) probability measure on A, then the sequence {Fμ}N=1 weak*-converges to the Haar measure on A, in density. Fully supported Markov measures on A are HM, an...
متن کاملLimit Measures for Affine Cellular Automata
Let M be a monoid (e.g. N, Z, or Z), and A an abelian group. A is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F : A −→ A that commutes with all shift maps. Let μ be a (possibly nonstationary) probability measure on A; we develop sufficient conditions on μ and F so that the sequence {Fμ}N=1 weak*-converges to the Haar measure on A, in density (and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Computing
سال: 2021
ISSN: ['1572-9796', '1567-7818']
DOI: https://doi.org/10.1007/s11047-020-09815-1